1. Structured object-oriented formal language and method
پدیدآورنده : \ Shaoying Liu, Zhenhua Duan (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses,Object-oriented methods (Computer science) -- Congresses.,Logics and Meanings of Programs,روشهای صوری (کامپیوتر) -- کنگره ها,شیگرایی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
S765
2015
E-Book
,
2. Structured object-oriented formal language and method :
پدیدآورنده : Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Object-oriented methods (Computer science), Congresses.,Formal methods (Computer science),Object-oriented methods (Computer science)
رده :
QA76
.
9
.
L63
